Stichworte: independent internal verification